Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
automatic proof
1 ?
 21,213,375 websites (safe search)

  1. B-Core, The B-Technology Company: Home Page

    B-Core & the B-Toolkit
    animation4
    teaching3
    automation3
    proof2
    sorensen1
    gsl1
    neilson1
    university teaching1
    amn1
    formal methods1
    object orientated1
    formal method1
    tool support1
    b-method1
    bcore1
    structured methods1
    automatic proof1
    btechnology1
    automated proof0
    automated tool support0
    b-core0
    bmethod0
    b-technology0
    btool0
    b-tool0
    btoolkit0
    b-toolkit0
    proof tool0
    structured method0
    zero defect software0

    www.b-core.com - 2009-02-07

  2. SYLLOGISM: Online program for Aristotelian Logic

    SYLLOGISM: This site allows online experimentation with Aristotelian term logic, especially syllogistic reasoning. All the rules of Aristotelian logic have been ...
    online7
    software7
    program4
    conversion2
    logic2
    formal2
    experiment2
    Aristotle1
    computation1
    Logik1
    Aristoteles1
    syllogism1
    ancient logic1
    greek logic1
    syllogistic1
    term logic1
    automatic proof1
    ecthesis0
    subalternation0
    Termlogik0

    aristotelianlogic.glashoff.net - 2009-02-06

term logic1 termlogik0 aristoteles1 greek logic1 syllogism1 syllogistic1 aristotle1

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.